221. Programming Languages Implementation and Logic Programming :
پدیدآورنده: edited by P. Deransart, B. Lorho, J. Małuszyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
222. Proof Theory of Modal Logic
پدیدآورنده: edited by Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
223. Quantum Mechanics, Mathematics, Cognition and Actio
پدیدآورنده: / edited by Mioara Mugur-Scheachter, Alwyn Merwe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Physics.,Information theory.,Artificial intelligence.,Systems theory.,Logic, Symbolic and mathematical.,Quantum theory.
رده :
QC6
224. Real-world reasoning :
پدیدآورنده: Ben Goertzel [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer logic
رده :
Q335
.
R43
2011
225. Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example
پدیدآورنده: Sombe, Lea.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Artificial intelligence,، Reasoning,، Artificial Intelligence,، Logic
226. Reasoning with Actual and Potential Contradictions
پدیدآورنده: edited by Philippe Besnard, Anthony Hunter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
227. Representation Theorems in Computer Science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Artificial intelligence. ; Computer logic. ; Data mining. ; Information storage and retrieval systems. ; Theory of Computation. ;
228. Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
پدیدآورنده: Bacchus, Fahiem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Probabilities,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
273
.
B24
1990
229. Resource-Sensitivity, Binding and Anaphora
پدیدآورنده: edited by Geert-Jan M. Kruijff, Richard T. Oehrle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics.,Logic.
رده :
P151
.
E358
2003
230. Rigid flexibility
پدیدآورنده: / by Pei Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Artificial intelligence,Logic
رده :
Q335
.
W354
2006
231. Rigid flexibility
پدیدآورنده: / by Pei Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Artificial intelligence,Logic
رده :
Q335
.
W354
2006
232. Rough Sets :
پدیدآورنده: by Zdzisław Pawlak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
233. Rough Sets :
پدیدآورنده: by Lech Polkowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial Intelligence (incl. Robotics),Mathematical Logic and Foundations.,Mathematics.
234. Scalable uncertainty management :
پدیدآورنده: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
235. Scare Tactics :
پدیدآورنده: by Douglas Walton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
BC175
.
B936
2000
236. Sheaves, Games, and Model Completions :
پدیدآورنده: by Silvio Ghilardi, Marek Zawadowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
QA169
.
B975
2002
237. Simply logical
پدیدآورنده: / Peter Flach
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع: Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
رده :
Q
335
.
F58
1994
238. Soft Computing for Knowledge Discovery
پدیدآورنده: by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
239. Sorts and types in artificial intelligence
پدیدآورنده: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
رده :
QA
335
.
S6
1996
240. Sorts and types in artificial intelligence
پدیدآورنده: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
رده :
QA
335
.
S6
1996
